Sampling-Based Belief Revision
نویسنده
چکیده
Model sampling has proved to be a practically viable method for decision-making under uncertainty, for example in imperfect-information games with large state spaces. In this paper, we examine the logical foundations of sampling-based belief revision. We show that it satisfies six of the standard AGM postulates but not Vacuity nor Subexpansion. We provide a corresponding representation theorem that generalises the standard result from a single to a family of faithful assignments for a given belief set. We also provide a formal axiomatisation of sampling-based belief revision in the Situation Calculus as an alternative way of reasoning about actions, sensing, and beliefs.
منابع مشابه
Anytime Belief Revision
Belief Revision is a ubiquitous process underlying many forms of intelligent behaviour. The AGM paradigm is a powerful framework for modeling and implementing belief revision systems based on the principle of Minimal Change; it provides a rich and rigorous foundation for computer-based belief revision architectures. Maxi-adjustment is a belief revision strategy for theory bases that can be impl...
متن کاملStatistical Sampling Revisited
Auditing standards are undergoing revision in the wake of recent, massive audit failures. Legislative and regulatory bodies are focusing more critically on auditors than ever before. Yet, contemplated revisions to auditing standards leave untouched ambiguities and unresolved issues that have reduced the effectiveness of the authoritative literature for decades. One of the longest-standing issue...
متن کاملPermissive Belief Revision
We point out that current belief revision operations can be used to revise non-monotonic theories and we propose a new operation, called permissive belief revision. The underlying idea of permissive belief revision consists of instead of abandoning some beliefs during a revision, transforming those beliefs into weaker ones, while still keeping the resulting belief set consistent. This framework...
متن کاملA Unified Framework of Propositional Knowledge Base Revision and Update Based on State Transition Models
Belief revision and belief update are two of the most basic types of belief change operations. We need to select either revision or update when we accept new information into the current belief, however, such decision making has not been considered. In this paper, we propose a unified framework of revision and update based on state transition models that enable us to do such decision making. Th...
متن کاملSATEN: An Object-Oriented Web-Based Revision and Extraction Engine
SATEN is an object-oriented web-based extraction and belief revision engine. It runs on any computer via a Java 1.1 enabled browser such as Netscape 4. SATEN performs belief revision based on the AGM approach (Alchourrón et al 85). The extraction and belief revision reasoning engines operate on a user specified ranking of information. One of the features of SATEN is that it can be used to integ...
متن کامل